-
1 abstract theorem
Большой англо-русский и русско-английский словарь > abstract theorem
-
2 abstract theorem
1) Математика: абстрактная теорема2) Патенты: теоретическое положение -
3 abstract theorem
-
4 abstract theorem
мат. -
5 abstract theorem
Англо-русский словарь по исследованиям и ноу-хау > abstract theorem
-
6 theorem
-
7 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
8 theorem
nounтеорема fkey renewal theorem основная/узловая теорема восстановленияSlutsky sinusoidal limit theorem предельная синусоидальная теорема СлуцкогоАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > theorem
-
9 абстрактная теорема
Большой англо-русский и русско-английский словарь > абстрактная теорема
-
10 ergodic
adjэргодическийАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > ergodic
-
11 algebra
алгебра
– abstract algebra
– algebra of sets
– algebraic algebra
– annihilator algebra
– associative algebra
– Banach algebra
– Boolean algebra
– Cartan algebra
– central algebra
– circuit algebra
– closure algebra
– commutative algebra
– constraint algebra
– convolution algebra
– current algebra
– derivation algebra
– differential algebra
– division algebra
– elementary algebra
– enveloping algebra
– exterior algebra
– field-like algebra
– free Lie algebra
– higher algebra
– homological algebra
– Lie algebra
– linear algebra
– matrix algebra
– measure algebra
– propositional algebra
– quaternion algebra
– quotient algebra
– relational algebra
– segregated algebra
– simple algebra
– spinor algebra
– switching algebra
– universal algebra
algebra of finite order — <math.> алгебра конечного ранга
generalized uniserial algebra — обобщенно однорядная алгебра
-
12 reasoning
1) [логическое] рассуждение, умозаключение; [логический] выводсм. тж. abstract reasoning, automated reasoning, case-based reasoning, commonsense reasoning, deductive reasoning, logical reasoning, probabilistic reasoning, reasoning system, theorem proving2) мышлениеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > reasoning
-
13 process
1) процесс2) процедура3) технологический процесс || технологический4) приём, способ5) обрабатывать; перерабатывать•process with independent increments — процесс с независимыми приращениями, аддитивный процесс
process with nonstationary increments — процесс с нестационарными приращениями, неоднородный во времени процесс
process with stationary and independent increments — процесс со стационарными и независимыми приращениями, однородный процесс
- absorbing barrier process - basic oxygen process - direct reduction process - discrete process - discrete-time process - linearly singular process - locally integrable process - locally stable process - multistep process - multivariate process - N-dimensional process - partially mixing process - process of hidden periodicities - steady stochastic process - temporally homogeneous process - weakly ergodic process - weakly stationary processprocess with stationary increments — процесс со стационарными приращениями, однородный во времени процесс
-
14 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
15 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme -
16 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system
См. также в других словарях:
Abstract analytic number theory — is a branch of mathematics which takes the ideas and techniques of classical analytic number theory and applies them to a variety of different mathematical fields. The classical prime number theorem serves as a prototypical example, and the… … Wikipedia
Abstract nonsense — Abstract nonsense, or general abstract nonsense, alternatively general nonsense, is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory or applications.HistoryThe term predates the… … Wikipedia
Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area … Wikipedia
Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Abstract algebraic logic — In mathematical logic, abstract algebraic logic (AAL) studies the ways in which classes of algebras may be associated with logical systems, and how these classes of algebras interact with logical systems.OverviewThe archetypal association of this … Wikipedia
Abstract Wiener space — An abstract Wiener space is a mathematical object in measure theory, used to construct a decent (strictly positive and locally finite) measure on an infinite dimensional vector space. It is named after the American mathematician Norbert Wiener.… … Wikipedia
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Abstract simplicial complex — In mathematics, an abstract simplicial complex is a purely combinatorial description of the geometric notion of a simplicial complex, consisting of a family of finite sets closed under the operation of taking subsets. In the context of matroids… … Wikipedia
Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… … Wikipedia
Abstract index group — In operator theory, every Banach algebra can be associated with a group called its abstract index group. Definition Let A be a Banach algebra and G the group of invertible elements in A . The set G is open and a topological group. Consider the… … Wikipedia